| Ident. | Authors (with country if any) | Title |
|---|
| 000023 |
Maxime Rio [Suisse] ; Francis Colas [France] ; Mihai Andries [France] ; François Charpillet [France] | Probabilistic sensor data processing for robot localization on load-sensing floors |
| 000170 |
Kamel Aissat [France] ; Sacha Varone [Suisse] | Integration of shared mobility service in multi-modal transportation. |
| 000212 |
Razvan Barbulescu [France] ; Pierrick Gaudry [France] ; Thorsten Kleinjung [Suisse] | The Tower Number Field Sieve |
| 000242 |
Gregory Hitz [Suisse] ; François Pomerleau [Suisse] ; Francis Colas [France] ; Roland Siegwart [Suisse] | Relaxing the planar assumption: 3D state estimation for an autonomous surface vessel |
| 000414 |
Andrew Reynolds [Suisse] ; Jasmin Christian Blanchette [France] | A Decision Procedure for (Co)datatypes in SMT Solvers |
| 000441 |
Andrew Reynolds [Suisse] ; Jasmin Christian Blanchette [France] ; Cesare Tinelli [France, États-Unis] | Model Finding for Recursive Functions in SMT |
| 000487 |
Xavier Goaoc [France] ; Alfredo Hubard [France] ; Rémi De Joannis De Verclos [France] ; Jean-Sébastien Sereni [France] ; Jan Volec [Suisse] | Limits of order types |
| 000488 |
Steven Latré [Belgique] ; Marinos Charalambides [Royaume-Uni] ; Jérôme François [France] ; Corinna Schmitt [Suisse] ; Burkhard Stiller [Suisse] | Intelligent Mechanisms for Network Configuration and Security : 9th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2015, Ghent, Belgium, June 22-25, 2015. |
| 000544 |
Kamel Aissat [France] ; Sacha Varone [Suisse] | Real-time ride-sharing substitution service in multi-modal public transport using buckets |
| 000564 |
Sacha Varone [Suisse] ; Kamel Aissat [France] | Multi-modal transportation with public transport and ride-sharing - multi-modal transportation using a path-based method. |
| 000565 |
Kamel Aissat [France] ; Sacha Varone [Suisse] | Carpooling as complement to multimodal transportation |
| 000638 |
Jérémie Lefebvre [Suisse] ; Axel Hutt [France] ; Jean-François Knebel [Suisse] ; Kevin Whittingstall [Canada] ; Micah Murray [Suisse] | Stimulus statistics shape oscillations in non-linear recurrent neural networks |
| 000734 |
François Pomerleau [Canada] ; Francis Colas [France] ; Roland Siegwart [Suisse] | A Review of Point Cloud Registration Algorithms for Mobile Robotics |
| 000853 |
Axel Hutt [France] ; Jérémie Lefebvre [Suisse] | Stochastic center manifold analysis in scalar nonlinear systems involving distributed delays and additive noise |
| 000F15 |
Axel Hutt [France] ; Jérémie Lefebvre [Suisse] | Periodic external input tunes the stability of delayed nonlinear systems: from the slaving principle to center manifolds |
| 001365 |
Romain Prévost [Suisse] ; Emily Whiting [Suisse] ; Sylvain Lefebvre [France] ; Olga Sorkine-Hornung [Suisse] | Make It Stand: Balancing Shapes for 3D Fabrication |
| 001389 |
Antoine Liutkus [France] ; Jean-Louis Durrieu [Suisse] ; Laurent Daudet [France] ; Gaël Richard [France] | An overview of informed audio source separation |
| 001413 |
Nancy J. Aburto [Suisse] ; Anna Ziolkovska [Suisse] ; Lee Hooper [Royaume-Uni] ; Paul Elliott [Royaume-Uni] ; Francesco P. Cappuccio [Royaume-Uni] ; Joerg J. Meerpohl [Allemagne] | Effect of lower sodium intake on health: systematic review and meta-analyses |
| 001414 |
Nancy J. Aburto [Suisse] ; Sara Hanson [Suisse] ; Hialy Gutierrez [États-Unis] ; Lee Hooper [Royaume-Uni] ; Paul Elliott [Royaume-Uni] ; Francesco P. Cappuccio [Royaume-Uni] | Effect of increased potassium intake on cardiovascular risk factors and disease: systematic review and meta-analyses |
| 001455 |
Arjen K. Lenstra [Suisse] ; Thorsten Kleinjung [Suisse] ; Emmanuel Thomé [France] | Universal Security |
| 001476 |
Naosuke Nonoguchi [France, Japon] ; Takashi Ohta [France] ; Ji-Eun Oh [France] ; Young-Ho Kim [France, Corée du Sud] ; Paul Kleihues [Suisse] ; Hiroko Ohgaki [France] | TERT promoter mutations in primary and secondary glioblastomas |
| 001478 |
Christoph Röthlisberger [Suisse] | TAFA – A Tool for Admissibility in Finite Algebras |
| 001605 |
Francesco Alberti [Suisse] ; Silvio Ghilardi [Italie] ; Natasha Sharygina [Suisse] | Definability of Accelerated Relations in a Theory of Arrays and Its Applications |
| 001A31 |
Razvan Barbulescu [France] ; Joppe Bos [Suisse] ; Cyril Bouvier [France] ; Thorsten Kleinjung [Suisse] ; Peter Montgomery [États-Unis] | Finding ECM-friendly curves through a study of Galois properties |
| 001A67 |
Michael Katz [France] ; Joerg Hoffmann [France] ; Malte Helmert [Suisse] | How to Relax a Bisimulation? |
| 001B97 |
Alessandro Armando [France] ; Wihem Arsac [France] ; Tigran Avanesov [France] ; Michele Barletta [Italie] ; Alberto Calvi [Italie] ; Alessandro Cappai [France] ; Roberto Carbone [France] ; Yannick Chevalier [France] ; Luca Compagna [France] ; Jorge Cuellar [Allemagne] ; Gabriel Erzse [Roumanie] ; Simone Frau [Suisse] ; Marius Minea [Roumanie] ; Sebastian Modersheim [France] ; David Von Oheimb [Allemagne] ; Giancarlo Pellegrino [France] ; Serena Elisa Ponta [France] ; Marco Rocchetto [Italie] ; Michaël Rusinowitch [France] ; Mohammad Torabi Dashti [Suisse] ; Mathieu Turuani [France] ; Luca Vigano [Italie] | The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures |
| 001D49 |
Bruno Cartoni [Suisse] ; Fiammetta Namer | Linguistique contrastive et morphologie : les noms en -iste dans une approche onomasiologique |
| 001F30 |
Michael Katz [France] ; Joerg Hoffmann [France] ; Malte Helmert [Suisse] | How to Relax a Bisimulation? |
| 001F71 |
Mohamed Ahmed Abdelraheem [Danemark] ; Céline Blondeau [France] ; Maria Naya-Plasencia [Suisse] ; Marion Videau [France] ; Erik Zenner [Allemagne] | Cryptanalysis of ARMADILLO2 |
| 002564 |
R. Addou [France] ; A K Shukla [France] ; S. Alarcn Villaseca [France] ; Gaudry [France] ; Th Deniozou [France] ; M. Heggen [Allemagne] ; M. Feuerbacher [Allemagne] ; R. Widmer [Suisse] ; O. Grning [Suisse] ; V. Fourne [France] ; J-M Dubois [France] ; J. Ledieu [France] | Lead adsorption on the Al13Co4(100) surface: heterogeneous nucleation and pseudomorphic growth |
| 002657 |
Fei Peng [Suisse] ; Apostolos Malatras [Suisse] | Optimising P2P Overlays for Pervasive Environments |
| 002724 |
Mohamed Ahmed Abdelraheem [Danemark] ; Céline Blondeau [France] ; María Naya-Plasencia [Suisse, France] ; Marion Videau [France] ; Erik Zenner [Allemagne] | Cryptanalysis of ARMADILLO2 |
| 002761 |
Guilherme Sperb Machado [Suisse] ; Burkhard Stiller [Suisse] | An SLA Support System for Cloud Computing |
| 002778 |
Dalila Mekhaldi [Royaume-Uni] ; Denis Lalanne [Suisse] ; Rolf Ingold [Suisse] | A multimodal alignment framework for spoken documents |
| 002A08 |
Jacques Ducloy [France] ; Thierry Daunois ; Muriel Foulonneau [France] ; Alice Hermann [France] ; Jean-Charles Lamirel [France] ; Stéphane Sire [Suisse] ; Jean-Pierre Thomesse [France] ; Christine Vanoirbeek [Suisse] | Metadata for Wicri, a network of semantic Wikis for communities in research and innovation |
| 002A45 |
Thorsten Kleinjung [Suisse] ; Lucas Nussbaum [France] ; Emmanuel Thomé [France] | Using a grid platform for solving large sparse linear systems over GF(2) |
| 002A88 |
Mario Botsch [Allemagne] ; Leif Kobbelt [Allemagne] ; Mark Pauly [Allemagne, Suisse] ; Pierre Alliez [France] ; Bruno Lévy [France] | Polygon Mesh Processing |
| 002F40 |
Raphaël Bize [Suisse] ; Carole Willi [Suisse] ; Arnaud Chiolero [Suisse] ; Rebecca Stoianov [Suisse] ; Sylvie Payot [Suisse] ; Isabella Locatelli [Suisse] ; Jacques Cornuz [Suisse] | Participation in a population-based physical activity programme as an aid for smoking cessation: a randomised trial |
| 003080 |
Thorsten Kleinjung [Suisse] ; Kazumaro Aoki [Japon] ; Jens Franke [Allemagne] ; Arjen K. Lenstra [Suisse] ; Emmanuel Thomé [France] ; Joppe W. Bos [Suisse] ; Pierrick Gaudry [France] ; Alexander Kruppa [France] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Dag Arne Osvik [Suisse] ; Herman Te Riele [Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Paul Zimmermann [France] | Factorization of a 768-Bit RSA Modulus |
| 003114 |
Johannes Faber [Allemagne] ; Carsten Ihlemann [Allemagne] ; Swen Jacobs [Suisse] ; Viorica Sofronie-Stokkermans [Allemagne] | Automatic Verification of Parametric Specifications with Complex Topologies |
| 003126 |
Thorsten Kleinjung [Suisse] ; Joppe W. Bos [Suisse] ; Arjen K. Lenstra [Suisse] ; Dag Arne Osvik [Suisse] ; Kazumaro Aoki [Japon] ; Scott Contini [Australie] ; Jens Franke [Allemagne] ; Emmanuel Thomé [France] ; Pascal Jermini [Suisse] ; Michela Thiémard [Suisse] ; Paul Leyland [Royaume-Uni] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Heinz Stockinger [Suisse] | A heterogeneous computing environment to solve the 768-bit RSA challenge |
| 003128 |
A. Lagae [Belgique, France] ; S. Lefebvre [France] ; R. Cook [États-Unis] ; T. Derose [États-Unis] ; G. Drettakis [France] ; D. S. Ebert [États-Unis] ; J. P. Lewis [Nouvelle-Zélande] ; K. Perlin [États-Unis] ; M. Zwicker [Suisse] | A Survey of Procedural Noise Functions |
| 003377 |
Nicolas Padoy [France] ; Diana Mateus [Allemagne] ; Daniel Weinland [Suisse] ; Marie-Odile Berger [France] ; Nassir Navab [Allemagne] | Workflow Monitoring based on 3D Motion Features |
| 003697 |
Armelle Brun [France] ; Sylvain Castagnos [Suisse] ; Anne Boyer [France] | A positively directed mutual information measure for collaborative filtering |
| 003794 |
Benoît Naegel [Suisse] ; Alexandru Cernicanu ; Jean-Noël Hyacinthe ; Maurizio Tognolini ; Jean-Paul Vallée | SNR enhancement of highly-accelerated real-time cardiac MRI acquisitions based on non-local means algorithm. |
| 003958 |
Claude Barral [France, Suisse] ; Assia Tria [France] | Fake Fingers in Fingerprint Recognition: Glycerin Supersedes Gelatin |
| 003982 |
Cas J. F. Cremers [Suisse] ; Pascal Lafourcade [France] ; Philippe Nadeau [Autriche] | Comparing State Spaces in Automatic Security Protocol Analysis |
| 003A21 |
Simon Kramer [France, Suisse] ; Julian C. Bradfield [Royaume-Uni] | A general definition of malware |
| 003A33 |
Hajo A. Reijers [Pays-Bas] ; Minseok Song [Pays-Bas] ; Heidi Romero [Pays-Bas] ; Umeshwar Dayal [États-Unis] ; Johann Eder [Autriche] ; Jana Koehler [Suisse] | A Collaboration and Productiveness Analysis of the BPM Community |
| 003B64 |
Olivier Buffet [France] ; Douglas Aberdeen [Suisse] | The factored policy-gradient planner |
| 003D68 |
Claudia-Lavinia Ignat [France] ; Stavroula Papadopoulou [Suisse] ; Gérald Oster [France] ; Moira C. Norrie [Suisse] | Providing awareness in multi-synchronous collaboration without compromising privacy |
| 003E64 |
Stavroula Papadopoulou [Suisse] ; Claudia-Lavinia Ignat [France] ; Gérald Oster [France] ; Moira C. Norrie [Suisse] | Intra/Inter-document Change Awareness for Co-authoring of Web Sites |
| 004020 |
Mathieu Loiseau [France] ; Myriam Abouzaïd [France] ; Laurence Buson [France] ; Bannour Rachid [France] ; Florinela Comanescu [France] ; Darline Cothière-Robert [France] ; Tatiana El-Khoury [France] ; Antoine Gautier [France] ; Rose-Marie Gerbe [France] ; Mathilde Gonçalves [Portugal] ; Florencia Miranda [Portugal] ; Vannina Goossens [France] ; Cécile Lux [France] ; Iuliana-Anca Mateiu [Roumanie] ; Séverine Morange [France] ; Stéphane Mortreux [France] ; Hiroko Noda [France] ; Sabrina Rasom [Italie] ; Aude Rebotier [France] ; Darine Saïdi [France] ; Carmen Scarlat [France] ; Jennifer Sullivan [Irlande (pays)] ; Christian Surcouf [Suisse] ; Inka Wissner [Allemagne] ; Caroline Cance [France] ; Émilie Cousin [France] ; Hélène Delage [France] ; Anaïg Delanoë [France] ; Gaëlle Delepaut [France] ; Céline Dugua [France] ; Juliette Elie-Deschamps [France] ; Angélique Laurent [France] ; Pascale Leclercq [France] ; Silvia Nieva [Espagne] ; Katérina Palasis-Jourdan [France] ; Anita Thomas [Suède] ; Luc Biichlé [France] ; Anna Ghimenton [France] ; Jeanne Gonac'H [France] ; Aurélie Nardy [France] ; Nathaël Martin [France] ; Pascale Paulin [France] ; Lerato Caroline Pooe [France] ; Séverine Rapanoël [France] ; Sofia Stratilaki [France] ; Maria Zerva [France] ; Dominique Anctil [Canada] ; Évelyne Berger [Suisse] ; Jocelyne Cussac Pomel [France] ; Geneviève Garcia Bourgade [France] ; Juliette Delahaie [France] ; Ali Djaroun [France] ; Bernadette Kervyn [Belgique] ; Sophie Anquetil [France] ; Magdalena Augustyn [France] ; Sabrina Ben Hamou [France] ; Gwendoline Bloquet [France] ; Fanny Rinck [France] ; Cécile Frérot [France] ; Amélie Josselin-Leray [France] ; Anne-Laure Jousse [Canada] ; Bárbara Razola Mayor [France] ; Fabienne Venant [France] ; Antoine Widlöcher [France] ; Frédérik Bilhaut [France] | Autour des langues et du langage |
| 004097 |
Jean-Marc Sabaté [France] ; Didier Bouhassira [France] ; Cécile Poupardin [France] ; Amy Wagner [Suisse] ; Yolande Loria [France] ; Benoit Coffin [France] | Sensory signalling effects of tegaserod in patients with irritable bowel syndrome with constipation. |
| 004368 |
Stavroula Papadopoulou [Suisse] ; Claudia-Lavinia Ignat [France] ; Gérald Oster [France] ; Moira C. Norrie [Suisse] | Intra/Inter-document Change Awareness for Co-authoring of Web Sites |
| 004564 |
Mario Botsch [Suisse] ; Mark Pauly [Allemagne, Suisse] ; Leif Kobbelt [Allemagne] ; Pierre Alliez [France] ; Bruno Lévy [France] | Geometric Modeling Based on Polygonal Meshes |
| 004657 |
Claudia Ignat [France] ; Gérald Oster [France] ; Pascal Molli [France] ; Michèle Cart [France] ; Jean Ferrié [France] ; Anne-Marie Kermarrec [France] ; Pierre Sutra [France] ; Marc Shapiro [France] ; Lamia Benmouffok [France] ; Jean-Michel Busca [France] ; Rachid Guerraoui [Suisse] | A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages |
| 004668 |
Stavroula Papadopoulou [Suisse] ; Claudia Ignat [France] ; Moira Norrie [Suisse] | Awareness Model to Overview Modifications in Collaborative Graphical Authoring Tools |
| 004705 |
Benoît Naegel [France] ; Nicolas Passat [France] ; Nicolas Boch [Suisse] ; Michel Kocher [Suisse] | Segmentation using vector-attribute filters: methodology and application to dermatological imaging |
| 004764 |
Véronique Cortier [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [Royaume-Uni] | A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols. |
| 004848 |
Véronique Cortier [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [Royaume-Uni] | A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols. |
| 004C07 |
J. Fénix [Suisse] ; J. C. Sagot [France] ; C. Valot [France] ; S. Gomes [France] | Operator centred design: example of a new driver aid system in the field of rail transport |
| 004C24 |
Claudia-Lavinia Ignat [France] ; Moira C. Norrie [Suisse] | Multi-level Editing of Hierarchical Documents |
| 004C87 |
Wolfgang Weck [Suisse] ; Ralf Reussner [Allemagne] ; Clemens Szyperski [États-Unis] | Component-Oriented Programming |
| 004E73 |
Mario Botsch [Suisse] ; Mark Pauly [Allemagne, Suisse] ; Leif Kobbelt [Allemagne] ; Pierre Alliez [France] ; Bruno Lévy [France] ; Stephan Bischoff [France] ; Christian Röossl [Allemagne] | Geometric Modeling Based on Polygonal Meshes |
| 004F05 |
Claudia Ignat [France] ; Gérald Oster [France] ; Pascal Molli [France] ; Michèle Cart [France] ; Jean Ferrié [France] ; Anne-Marie Kermarrec [France] ; Pierre Sutra [France] ; Marc Shapiro [France] ; Lamia Benmouffok [France] ; Jean-Michel Busca [France] ; Rachid Guerraoui [Suisse] | A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages |
| 004F30 |
Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [France] | Computationally Sound Symbolic Secrecy in the Presence of Hash Functions |
| 004F39 |
Gérald Oster [Suisse] ; Pascal Molli [France] ; Pascal Urso [France] ; Abdessamad Imine [France] | Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems |
| 004F50 |
Gérald Oster [Suisse] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Data Consistency for P2P Collaborative Editing |
| 004F51 |
Claudia Ignat [Suisse] ; Moira Norrie [Suisse] ; Gérald Oster [France] | Handling Conflicts through Multi-level Editing in Peer-to-peer Environments |
| 005284 |
Martin Lengwiler [Suisse] | Insurance and Civil Society: Elements of an Ambivalent Relationship |
| 005341 |
Bernadette Charlier [Suisse] ; Nathalie Deschryver [Suisse] ; Daniel Peraya [Suisse] | Apprendre en présence et à distance |
| 005359 |
Thang Le Dinh [Suisse] | Towards a New Infrastructure Supporting Interoperability of Information Systems in Development: the Information System upon Information Systems |
| 005616 |
Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kusters [Suisse] ; Bogdan Warinschi [France] | Computationally sound symbolic secrecy in the presence of hash functions |
| 005724 |
Gérald Oster [Suisse] ; Hala Skaf-Molli [France] ; Pascal Molli [France] ; Hala Naja-Jazzar [Liban] | Supporting Collaborative Writing of XML Documents |
| 005979 |
Alessandro Armando [Italie] ; David Basin [Suisse] ; Yohan Boichut [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Jacopo Mantovani [Italie] ; Sebastian Mödersheim [Suisse] ; David Von Oheimb [Allemagne] ; Michaël Rusinowitch [France] ; Judson Santos Santiago [France] ; Luca Vigano [Suisse] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | The AVISPA Tool for the automated validation of internet security protocols and applications |
| 005993 |
Michael Backes [Suisse] ; Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Mathieu Turuani [France] | Compositional Analysis of Contract Signing Protocols |
| 006182 |
A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heám [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigan [Suisse] ; L. Vigneron [France] | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications |
| 006200 |
Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France] ; Dominique Méry [France] | Refinement and Reachability in Event_B |
| 006238 |
Ph. Lahire [France] ; G. Arévalo [Suisse] ; H. Astudillo [Chili] ; A. P. Black [États-Unis] ; E. Ernst [Danemark] ; M. Huchard [France] ; T. Opluštil [France] ; M. Sakkinen [Finlande] ; P. Valtchev [Canada] | MASPEGHI 2004 M ech a nisms for Spe ialization, G eneralization and In h er i tance |
| 006273 |
Gh. De Marsily [France] ; F. Delay [France] ; J. Gonçalvès [France] ; Ph. Renard [Suisse] ; V. Teles [France] ; S. Violette [France] | Dealing with spatial heterogeneity |
| 006302 |
Alessandro Armando [Italie] ; David Basin [Suisse] ; Jorge Cuellar [Allemagne] ; Michaël Rusinowitch [France] ; Luca Vigan [Suisse] | Automated Reasoning for Security Protocol Analysis |
| 006480 |
Gérald Oster [Suisse] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Proving correctness of transformation functions in collaborative editing systems |
| 006525 |
Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France] | Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity) |
| 006751 |
Laurent Badel [Suisse] ; Arnaud Tonnelier [France] | Pulse propagation in discrete excitatory networks of integrate-and-fire neurons |
| 006B34 |
Robert C. Dalang [Suisse] ; Olivier Lévêque [Suisse] | Second-Order Hyperbolic S.P.D.E.’s Driven by Boundary Noises |
| 006B60 |
David Basin [Suisse] ; Sebastian Mödersheim [Suisse] ; Luca Vigan [Suisse] | OFMC: A symbolic model checker for security protocols |
| 006B85 |
Y. F. S. Pétermann [Suisse] ; Jean-Luc Rémy [France] | Increasing Self-Described Sequences |
| 006C13 |
Sébastien Adam [France] ; Maurizio Rigamonti [Suisse] ; Eric Clavier [France] ; Éric Trupin [France] ; Jean-Marc Ogier [France] ; Karl Tombre [France] ; Joël Gardes [France] | DocMining: A Document Analysis System Builder |
| 006C14 |
Eric Clavier [France] ; Gérald Masini [France] ; Mathieu Delalandre [France] ; Maurizio Rigamonti [Suisse] ; Karl Tombre [France] ; Joël Gardes [France] | DocMining: A Cooperative Platform for Heterogeneous Document Interpretation According to User-Defined Scenarios |
| 006F34 |
Egon Balas [Suisse] ; Alexander Bockmayr [France] ; Nicolai Pisaruk [France] ; Laurence Wolsey [Belgique] | On unions and dominants of polytopes |
| 007074 |
David Basin [France, Suisse] ; Michaël Rusinowitch [France] | Automated Reasoning |
| 007121 |
Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Jacopo Mantovani [Italie] ; Sebastian Moedersheim [Suisse] ; Laurent Vigneron [France] | A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols |
| 007122 |
Yannick Chevalier [France] ; Luca Compagna ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [France, Suisse] ; Jacopo Mantovani ; Sebastian Moedersheim [France, Suisse] ; Laurent Vigneron [France] | A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols |
| 007A95 |
Andres Posada [France] ; Etienne Hugues [France] ; Nicolas Franck [France] ; Pascal Vianin [Suisse] ; James Kilner [France, Royaume-Uni] | Augmentation of induced visual gamma activity by increased task complexity |
| 008773 |
Johannes Borgström [Suède] ; Uwe Nestmann [Suisse] | On Bisimulations for the Spi Calculus* |
| 008A98 |
Egon Balas [Suisse] ; Alexander Bockmayr [France] ; Nicolai Pisaruk [France] ; Laurence Wolsey [Belgique] | On unions and dominants of polytopes |
| 009359 |
Y.-F. S. Pétermann [Suisse] ; Jean-Luc Rémy [France] ; Ilan Vardi [France] | Discrete Derivatives of Sequences |
| 009432 |
Sylviane Granger [Belgique] ; Anne Vandeventer [Suisse] ; Marie-Josée Hamel [Royaume-Uni] | Analyse de corpus d'apprenants pour l'ELAO basé sur le TAL |
| 009F42 |
C. Cohen [Suisse] ; M. Artois [France] ; D. Pontier [France] | A discrete-event computer model of feline herpes virus within cat populations |
| 00A369 |
Bernard Girau [France] ; Pierre Marchal [Suisse] ; Pascal Nussbaum [Suisse] ; Arnaud Tisserand [Suisse] ; Hector Fabio Restrepo [Suisse] | Evolvable platform for array processing: a one-chip approach |
| 00A951 |
Uwe Franz [France] ; Daniel Neuenschwander [Suisse] ; René Schott [France] | Phase Retrieval for Probability Distributions on Quantum Groups and Braided Groups |
| 00AA51 |
Ch. A. Gandin [France] ; J. L. Desbiolles [Suisse] ; M. Rappaz [Suisse] ; Ph. Thevoz [Suisse] | A three-dimensional cellular automation-finite element model for the prediction of solidification grain structures |
| 00AC13 |
Yuri Bilu [France, Suisse] ; Guillaume Hanrot [France] | Thue equations with composite fields |
| 00B407 |
Rolf Brugger [Suisse] ; Frédéric Bapst [Suisse] ; Rolf Ingold [Suisse] | A DTD extension for document structure recognition |
| 00B415 |
A. Reboul [France, Suisse] ; J. Moeschler [France, Suisse] | Théorie de l'esprit, rationalité et principe de charité : l'évaluation de la qualité des textes |
| 00B653 |
Pascal Nussbaum [Suisse] ; Bernard Girau [France] ; Arnaud Tisserand [Suisse] | Field Programmable Processor Arrays |
| 00BB89 |
Daniel Neuenschwander [Suisse] ; Bernard Roynette [France] ; René Schott [France] | Caractérisation des distributions gaussiennes sur les groupes nilpotents simplement connexes et les espaces symétriques |
| 00BB92 |
Walter M. Neuenschwander [Suisse] ; Pascal Fua [Suisse] ; Lee Iverson [États-Unis] ; Gábor Székely [Suisse] ; Olaf Kübler [Suisse] | Ziplock Snakes |
| 00BC48 |
U. Franz ; D. Neuenschwander [Suisse] ; R. Schott | Gauss laws in the sense of Bernstein and uniqueness of embedding into convolution semigroups on quantum groups and braided groups |
| 00BC49 |
U. Franz [France] ; D. Neuenschwander [Allemagne] ; R. Schott [France, Suisse] | Gauss laws in the sense of Bernstein and uniqueness of embedding into convolution semigroups on quantum groups and braided groups |
| 00BD26 |
D. Neuenschwander [Suisse] ; B. Roynette [France] ; R. Schott [France] | Characterizations of gaussian distributions on simply connected nilpotent Lie groups and symmetric spaces |
| 00C039 |
Reto Battaglia [Suisse] ; Werner Pfannhauser [Autriche] ; Michael Murkovic [Autriche] | Personalities |
| 00C071 |
Dimitrios Tombros [Suisse] ; Andreas Geppert [Suisse] ; Klaus R. Dittrich [Suisse] | Design and Implementation of Process-Oriented Environments with Brokers and Services |
| 00C124 |
J.-P. Briot [France, Japon] ; R. Guerraoui [Suisse] | Objets pour la programmation parallèle et répartie : intérêts, évolutions et tendances |
| 00C694 |
Josef Brüederl [Allemagne] ; Andreas Diekmann [Suisse] | The Log-Logistic Rate Model |
| 00D179 |
Vassilis Prevelakis [Suisse] ; Dennis Tsichritzis [Suisse] | Perspectives on Software development Environments |
| 00DE40 |
Mario Castellucci [Allemagne] ; Peter Kaufmann [Allemagne] ; Paul Bischof [Suisse] | Extracellular matrix influences hormone and protein production by human chorionic villi |
| 00E292 |
Ian Willers [Suisse] | Guest Editorial |
| 00EC43 |
Marijke Nefzger [Autriche] ; Jörg Kreuter [Suisse] ; Rolf Voges [Suisse] ; Ekke Liehl [Autriche] ; Rudolf Czok [Autriche] | Distribution and elimination of polymethyl methacrylate nanoparticles after peroral administration to rats |
| 00ED57 |
Jean Martin ; Jean Louis Rivier [Suisse] ; Marcel Cevey [Suisse] ; Bernard Junod [Suisse] ; Marcel Burner [Suisse] ; Raymond Devrient ; Th. Abelin [Suisse] ; O. Jeanneret ; G. Ritzel ; M. Sch R | Hommage au professeur Armand Delachaux à l'occasion de son 70e anniversaire |
| 00ED83 |
R. Burkhardt [Allemagne] ; R. Bartl [Allemagne] ; B. Frisch [Israël] ; K. J Ger [Allemagne] ; G. Mahl [Allemagne] ; W. Hill [Allemagne] ; G. Kettner [Allemagne] ; F. Bonnel [France] ; J. Teissier [France] ; Y. Allieu [France] ; A. Cazelas [France] ; T. Farkas [Hongrie] ; I. Zimmermann [Hongrie] ; P. Siko [Hongrie] ; T. Viola [Hongrie] ; D. Robles Marin ; R. Broseta ; J. L. Berlanga ; M. Aranda ; M. Marti ; P. Andreu ; Gwo Jaw Wang [États-Unis] ; S. L. Hubbard [États-Unis] ; S. I. Regor [États-Unis] ; E. D. Miller [États-Unis] ; W. G. Stamp [États-Unis] ; G. J. Wang [États-Unis] ; G. J. Rawles [États-Unis] ; J. B. Paolaggi [France] ; J. M. Le Parc [France] ; M. Durigon [France] ; D. Barres [France] ; F. Paolaggi [France] ; F. Blotman [France] ; C. Colette [France] ; L. Monnier [France] ; P. Baldet [France] ; L. Simon [France] ; G. Bouteiller [France] ; J. Arlet [France] ; A. Blasco ; F. Vigoni ; A. Eleftérion ; A. Trias [Canada] ; L. Téot [Canada] ; L. Tétreault [Canada] ; J. Pooley [Royaume-Uni] ; D. N. Walder [Royaume-Uni] ; P. Griss [Allemagne] ; M. Mohr [Allemagne] ; Y. Ishida [Allemagne] ; A. Gaucher [France] ; A. Bertrand [France] ; P. Wiederkehr [France] ; C. Hocquard [France] ; P. Raul [France] ; J. Adolphe [France] ; D. Mess [États-Unis] ; D. Pavel [États-Unis] ; R. Barmada [États-Unis] ; F. Schuind [Belgique] ; A. Schoutens ; W. Verhas ; A. Verschaeren [Belgique] ; J. P. Steib [France] ; G. Lang [France] ; B. Moysses [France] ; K. Kleinklaus [France] ; M. Ram [Suisse] ; J. Theron [France] ; M. Collette [Belgique] ; P. Ficat [France] ; R. Durroux [France] ; E. Horvath [France] ; M. Boussaton [France] ; J. N. Senie [France] ; M. Brookes [Royaume-Uni] ; F. W. Heatley [Royaume-Uni] ; J. F. Connoily [États-Unis] ; D. Chakkalakal [États-Unis] ; M. Kelbel [États-Unis] ; U. Pfister [Allemagne] ; P. J. Gregg [Royaume-Uni] ; C. B. Clayton [Royaume-Uni] ; G. K. Ions [Royaume-Uni] ; S. R. Smith [Royaume-Uni] ; H. Schmelzeisen [Allemagne] ; S. M. Perren [Allemagne] ; B. Rahn [Allemagne] ; T. Albrektsson [Suède] ; T. Albrektsson [Suède] ; I. D. Mccarthy [Royaume-Uni] ; S. P. F. Hughes [Royaume-Uni, États-Unis] ; P. Tothill [Royaume-Uni] ; G. Hooper [Royaume-Uni] ; E. T Ndevold [Danemark] ; J. Bülow [Danemark] ; T. R. Light [États-Unis] ; M. R. Mckinstry ; J. Schnitzer ; J. Ogden [États-Unis] ; P. Vicente [Canada] ; M. A. Gunst [Suisse] ; B. A. Rahn [Suisse] ; U. Lüthy [Suisse] ; S. M. Perren [Suisse] ; I. Mccarthy [Royaume-Uni] ; R. Wootton [Royaume-Uni] ; C. Arnoldi [Danemark] ; C. Bünger [Danemark] ; L. Kery ; M. F. Driessens [Belgique, Suède] ; G. Mortier [Belgique, Suède] ; P. M. Vanhoutte [Belgique] ; M. A. Tran [France] ; Dang Tran Lac [France] ; M. Berlan [France] ; S. Solomon [Afrique du Sud] ; C. M. Schnitzler [Afrique du Sud] ; H. Seftel [Afrique du Sud] ; D. Mendelsohn [Afrique du Sud] ; H. Kundig [Afrique du Sud] ; J. P. Van Vuren [Afrique du Sud] ; R. K. Spence [États-Unis] ; A. Alavi [États-Unis] ; C. F. Barker [États-Unis] ; R. G. Grossman [États-Unis] ; B. Slaven [États-Unis] ; M. E. Steinberg [États-Unis] ; J. Lane [États-Unis] ; J. Benoit [France] ; H. Danon [France] ; A. Lortat-Jacob [France] ; J. Y. Dupont [France] ; M. Durigon [France] ; J. D. Spencer [Royaume-Uni] ; R. Cabannes [Côte d'Ivoire] ; F. Sombo [Côte d'Ivoire] ; E. T. Habermann [Canada] ; M. A. Hartzband [États-Unis] ; H. Zollinger [Suisse] ; St. Kubik [Suisse] ; A. Schreiber [Suisse] ; Ch. Fauchier [France] ; F. Jacqueline [France] ; W. Remagen [Suisse] ; J. M. Saint-André [France] ; T. Vizkelety [Hongrie] ; A. J. Malcolm [Royaume-Uni] ; E. Warda [Pologne] ; P. C. Dell [États-Unis] ; H. Burchardt [États-Unis] ; U. K. Luethi ; R. D. Stroud ; B. A. Rahn ; S. A. Brown ; G. Bauer [Suède] ; L. I. Hanson [Suède] ; J. Palmer [Suède] ; B. Stromqvist [Suède] ; G. D. Hayken [États-Unis] ; D. R. Steinberg [États-Unis] ; J. M. Baixe [France] ; C. T. Brighton [États-Unis] ; S. E. Tooze [États-Unis] ; C. A. L. Bassett [États-Unis] ; M. M. Schink [États-Unis] ; S. N. Mitchell [États-Unis] ; H. Judet [France] ; A. Gilbert [France] ; J. Jude [France] ; H. B. Skinner [États-Unis] ; A. R. Penix [États-Unis] ; S. D. Cook [États-Unis] ; R. J. Haddad Jr. [États-Unis] ; C. Nedjar [France] ; C. Ficat [France] ; P. P. G. Blockx [Belgique] ; C. H. Bauer [Suède] ; J. L. Décamps ; E. H. Bünger [Danemark] ; J. Bülow [Danemark] ; J. C. Djurhuus [Danemark] ; D. Chappard [France] ; J. L. Laurent [France] ; C. Alexandre [France] ; G. Riffat [France] ; S. B. Christensen [Danemark] ; I. Reimann [Danemark] ; O. Henriksen [Danemark] ; J. L. Berlabga ; Y. Andrianne [Belgique] ; F. Burny [Belgique] ; M. Donkerwolcke [Belgique] ; O. Saric [Belgique] ; Taberly [France] ; Pradere [France] ; Regis [France] ; Bru [France] ; Bouzet [France] ; Mazières [France] ; Arlet [France] | International Symposium on bone vascularization |
| 00EF68 |
Paul Müller [Suisse] ; Jean-Claude Perlberger [Suisse] | Conformational Analysis and Chromic Acid Oxidation. Oxidation Rates and Equilibrium Constants of Epimeric Alcohols |
| 00F010 |
Charles W. Jefford [Suisse] ; Ulrich Burger [Suisse] ; François Delay [Suisse] | Synthesis of Bridged Bicyclic Molecules using Halocarbenes. Derivatives of bicyclo[4.2.1]nonane |
| 00F096 |
Pierre Jeanquartier [Suisse] | Distributions et opérateurs différentiels homogènes et invariants |
